Process Algebra with Five-Valued Conditions
نویسندگان
چکیده
We propose a five-valued logic that can be motivated from an algorithmic point of view and from a logical perspective. This logic is combined with process algebra. For process algebra with five-valued logic we present an operational semantics in SOS-style and a completeness result. Finally, we discuss some generalizations.
منابع مشابه
AMENABILITY OF VECTOR VALUED GROUP ALGEBRAS
The purpose of this article is to develop the notions of amenabilityfor vector valued group algebras. We prove that L1(G, A) is approximatelyweakly amenable where A is a unital separable Banach algebra. We givenecessary and sufficient conditions for the existence of a left invariant meanon L∞(G, A∗), LUC(G, A∗), WAP(G, A∗) and C0(G, A∗).
متن کاملDecomposition of H*-Algebra Valued Negative Definite Functions on Topological *-Semigroups
In the present paper, among other results, a decomposition formula is given for the w-bounded continuous negative definite functions of a topological *-semigroup S with a weight function w into a proper H*-algebra A in terms of w-bounded continuous positive definite A-valued functions on S. A generalization of a well-known result of K. Harzallah is obtained. An earlier conjecture of the author ...
متن کاملApproximation of endpoints for multi-valued mappings in metric spaces
In this paper, under some appropriate conditions, we prove some $Delta$ and strong convergence theorems of endpoints for multi-valued nonexpansive mappings using modified Agarwal-O'Regan-Sahu iterative process in the general setting of 2-uniformly convex hyperbolic spaces. Our results extend and unify some recent results of the current literature.
متن کاملOn the character space of Banach vector-valued function algebras
Given a compact space $X$ and a commutative Banach algebra $A$, the character spaces of $A$-valued function algebras on $X$ are investigated. The class of natural $A$-valued function algebras, those whose characters can be described by means of characters of $A$ and point evaluation homomorphisms, is introduced and studied. For an admissible Banach $A$-valued function algebra...
متن کاملCharacterizing Global Minimizers of the Difference of Two Positive Valued Affine Increasing and Co-radiant Functions
Many optimization problems can be reduced to a problem with an increasing and co-radiant objective function by a suitable transformation of variables. Functions, which are increasing and co-radiant, have found many applications in microeconomic analysis. In this paper, the abstract convexity of positive valued affine increasing and co-radiant (ICR) functions are discussed. Moreover, the ...
متن کامل